The Simply Typed Lambda Calculus

The full version of our language. Consists of:

• Constants
• Sums (Either)
• Products (Pairs/Tuples)
• Exponentials (Functions)

Products

Sums

Represents the choice between two values.